If Chewy is short for Chewbacca, and Ani is short for Anakin, what's Luke short for?

A stormtrooper.